Artículo
|
A framework for execution of secure mobile code based on static analysis :
|
Nordio, Martín
|
(2004)
|
|
----------
|
Analítica
|
A model-drive approach to constructing robotic systems
|
Pons, Claudia Fabiana
|
(april-2014)
EN:
Journal of Computer Science and Technology
Edición: (1999-)
(Publicación seriada)
|
|
----------
|
Artículo
|
A model-driven approach to constructing robotic systems :
|
Pons, Claudia Fabiana
|
(2014)
|
|
----------
|
Analítica
|
A proof of the interpretability of P/PML in a relational setting
|
Baum, Gabriel Alfredo
|
EN:
CACIC [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén)
Edición: (1998)
(Libro)
|
|
----------
|
Artículo
|
A two-level calculus for composing hybrid QVT transformations :
|
Pons, Claudia Fabiana
|
(2010)
|
|
----------
|
Artículo
|
Actualizando la enseñanza de informática en las escuelas secundarias técnicas de la provincia de Buenos Aires :
|
Baum, Gabriel Alfredo
|
(2009)
|
|
----------
|
Artículo
|
An algebraic approach for composing model transformations in QVT :
|
Pons, Claudia Fabiana
|
(2007)
|
|
----------
|
Tesis
|
Aplicación de técnicas evolutivas para el problema de plegado de proteínas:
|
Pelta, David Alejandro
|
(1998)
|
Sala
|
----------
|
Analítica
|
Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal
|
Baum, Gabriel Alfredo
|
EN:
CACIC [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén)
Edición: (1998)
(Libro)
|
|
----------
|
Analítica
|
Aportes para la verificación eficiente de sistemas utilizando el cálculo relacional
|
Baum, Gabriel Alfredo
|
EN:
CACIC 2001 [CD-ROM]
Edición: 1a ed. (2001)
(Libro)
|
|
----------
|